
\input{../header}

\title{D2 - Specification and design of the bus protocol}
\date{November 2011}

\begin{document} 

%\input{chapters/000_deckblatt}

\maketitle

\input{abstract}

\thispagestyle{empty}
\tableofcontents
\thispagestyle{empty}
\listoffigures
%\listoftables
\newpage


\pagenumbering{arabic}

\input{protocol_specification}
%\input{protocol_requirements}
\input{protocol_design}
% \input{protocol_design_overview}
\input{protocol_testcases}

\bibliographystyle{plain}
{\small\bibliography{../bibliography}}

\end{document}